p.highlight {
  padding-bottom: 5px;
  font-size: 18px;
  font-family: "JetBrains Mono", "Consolas", serif;
  border-bottom: darkred dashed;
}

input.highlight {
  font-size: 18px;
  font-family: "JetBrains Mono", "Consolas", serif;
}
